- бар-теорема
- бар-теоре́ма
Русско-украинский политехнический словарь. 2013.
бар-теорема
Смотреть что такое "бар-теорема" в других словарях:
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
ВЕЕР — финитарный поток, поток . такой, что для всякого узла из существует лишь конечное число натуральных k, для к рых является узлом . На языке формального интуиционистского математич. анализа формула , выражающая понятие функция … Математическая энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
КЛАСС — 1) Термин, употребляемый в математике в основном как синоним термина множество для обозначения произвольных совокупностей объектов, обладающих каким либо определенным свойством или признаком (напр., в алгебре классы эквивалентности относительно… … Математическая энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Австрия — (Österreich; позднелат. Austria, от др. нем. Ostarrichi восточная страна) Австрийская Республика (Österreichische Republik). I. Общие сведения А. государство в Центральной Европе. Граничит на С. с ФРГ и Чехословакией, на … Большая советская энциклопедия
Поток (интуиционизм) — У этого термина существуют и другие значения, см. Поток. Поток одно из основных понятий интуиционистской математики. Определение Поток определяется как совокупность двух законов и , называемых законом потока и дополнительным законом,… … Википедия
Паскаль — I Паскаль (Pascal) Блез (19.6.1623, Клермон Ферран, 19.8.1662, Париж), французский религиозный философ, писатель, математик и физик. Родился в семье высокообразованного юриста, занимавшегося математикой и воспитывавшего своих детей под… … Большая советская энциклопедия
ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… … Философская энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
парадокс — ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки
